Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Leading Zeros Normalization #113

Closed
wants to merge 2 commits into from
Closed

Leading Zeros Normalization #113

wants to merge 2 commits into from

Conversation

Echsecutor
Copy link
Collaborator

WIP: This PR Adresses #112

Signed-off-by: Sebastian Schmittner <sebastian.schmittner@eecc.de>
@Echsecutor
Copy link
Collaborator Author

Now that the test is not failing any more, there is actually no need to merge it

@Echsecutor Echsecutor closed this Jan 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant